fetch elepha.ax;
∀e multprog1 0
;fetch elepha.ax;fetch elepha.ax
;fetch elepha.ax;fetch elepha.ax;fetch elepha.ax;